More from this Author

Tools and Algorithms for the Construction of Analysis of Systems

by G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), W. Rance Cleaveland (Editor)